Smart labels
نویسندگان
چکیده
The notion of a critical successor [dJV90] has been central to all modal completeness proofs in interpretability logics. In this paper we shall work with an alternative notion, that of an assuring successor. As we shall see, this makes life a lot easier. After a general treatment of assuringness, we shall apply it to obtain a completeness results for ILW, a result first proved by de Jongh and Veltman [dJV99]. In our proof, the gain of assuringness becomes very clear.
منابع مشابه
Modelling Smart Label-Supported Production Processes
Control of dynamics and complexity of logistic systems will continue to gain in importance in the future. One possibility to cope with this challenge is the concept of autonomous logistic processes that counts on using sophisticated smart labels. This article addresses the issue of requirements to a method for modelling autonomous logistic processes as well as the development of the method. It ...
متن کاملStandard drug concentrations and smart-pump technology reduce continuous-medication-infusion errors in pediatric patients.
OBJECTIVE To determine if combining standard drug concentrations with "smart-pump" technology reduces reported medication-infusion errors. DESIGN Preintervention and postintervention comparison of reported medication errors related to infusion therapies during the calendar years 2002 and 2003. SETTING A 242-bed university-affiliated tertiary pediatric hospital. INTERVENTION Change in cont...
متن کاملTime-Based Label Refinements to Discover More Precise Process Models
Process mining is a research field focused on the analysis of event data with the aim of extracting insights related to dynamic behavior. Applying process mining techniques on data from smart home environments has the potential to provide valuable insights in (un)healthy habits and to contribute to ambient assisted living solutions. Finding the right event labels to enable the application of pr...
متن کاملOn Generation of Time-based Label Refinements
Process mining is a research field focused on the analysis of event data with the aim of extracting insights in processes. Applying process mining techniques on data from smart home environments has the potential to provide valuable insights in (un)healthy habits and to contribute to ambient assisted living solutions. Finding the right event labels to enable application of process mining techni...
متن کاملReconstruction of 3D Whole-Body PET Data Using Blurred Anatomical Labels
The diagnostic utility of whole-body PET is often limited by the high level of statistical noise in the images. An improvement in image quality can be obtained by incorporating correlated anatomical information during the reconstruction of the PET data. The combined PET/CT (SMART) scanner allows the acquisition of accurately aligned PET and CT whole-body data. We present results of incorporatin...
متن کاملRFID ANTENNAS UHF RFID Antennas for Printer - Encoders — Part 1 : System Requirements
This series of articles reviews UHF transmission line antennas developed for RFID Printer-Encoders. It explains the basic operating principles of antennas, their effect on the printer’s encoding function as well as how the antennas influence the design of labels with embedded transponders (Smart Labels). The survey of antennas is preceded by the evaluation of antenna-transponder mutual coupling...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004